21. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده: Wallen, Lincoln A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
22. Coherent systems
پدیدآورنده: / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
23. Coherent systems
پدیدآورنده: / Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
24. Conditionals and Modularity in General Logics
پدیدآورنده: / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
25. Content and modality
پدیدآورنده: / edited by Judith Thomson and Alex Byrne
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Stalnaker, Robert.,Modality (Logic),Logic.,Language and languages--Philosophy
رده :
BC
,
199
,.
M6
,
C65
,
2006
26. Content and modality
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
27. Deontic modality
پدیدآورنده: edited by Nate Charlow and Matthew Chrisman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(
رده :
P
107
.
D46
28. Directions in relevant logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
رده :
BC
199
.
M6
.
D57
1989
29. Directions in relevant logic
پدیدآورنده: edited by Jean Norman and Richard Sylvan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
30. Displaying modal logic
پدیدآورنده: Heinrich Wansing
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Modality (Logic)
31. Epistemic modality /
پدیدآورنده: edited by Andy Egan and Brian Weatherson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Knowledge, Theory of,Modality (Logic)
رده :
BD161
.
E65
2011
32. Essays in the metaphysics of modality
پدیدآورنده: Plantinga, Alvin.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Modality )Logic(,، Metaphysics
رده :
B945
.
P553
M48
2003
33. Filosofskie problemy semantiki vozmozhnykh mirov
پدیدآورنده: / V. V. Tselishchev,Tselishchev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Modality (Logic),From (Logic),Semantics (Philosophy),Hintikka, Kaarlo Jaakko Juhani, 1929 -
رده :
BC
199
.
M6T74
34. First steps in modal logic /
پدیدآورنده: Sally Popkorn
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modality (Logic)
رده :
QA9
.
46
.
P67
1994
35. Forma y modalidad :
پدیدآورنده: Mario Gómez Torrente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
36. Gentzen calculi for modal propositional logi
پدیدآورنده: / Francesca Poggiolesi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Modality (Logic),Electronic books., local
37. Handbook of modal logic
پدیدآورنده: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
38. Handbook of modal logic /
پدیدآورنده: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
39. Intensional and higher-order modal logic
پدیدآورنده: / Daniel Gallin. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Logic, Symbolic and mathematical.
رده :
BC
,
199
,.
M6
,
G35
,
1975
40. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده: Gallin, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
